Sculthorpe, Neil : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (12)
Les plus populaires
Liste
- Liste
- Tableau

1

Keeping calm in the face of change

Neil Sculthorpe, Henrik Nilsson

Journal:

Higher-Order and Symbolic Computation

Année:

2010

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2010

2

Work it, wrap it, fix it, fold it

SCULTHORPE, NEIL, HUTTON, GRAHAM

Journal:

Journal of Functional Programming

Année:

2014

Langue:

english

Fichier:

PDF, 609 KB

english, 2014

3

Executable component-based semantics

van Binsbergen, L. Thomas, Mosses, Peter D., Sculthorpe, Neil

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2019

Langue:

english

Fichier:

PDF, 1.57 MB

english, 2019

4

Partial heat acclimation of athletes with spinal cord lesion

Castle, Paul C., Kularatne, B. Pasan, Brewer, John, Mauger, Alexis R., Austen, Ross A., Tuttle, James A., Sculthorpe, Nick, Mackenzie, Richard W., Maxwell, Neil S., Webborn, Anthony D. J.

Journal:

European Journal of Applied Physiology

Année:

2013

Langue:

english

Fichier:

PDF, 384 KB

english, 2013

5

The Kansas University rewrite engine

SCULTHORPE, NEIL, FRISBY, NICOLAS, GILL, ANDY

Journal:

Journal of Functional Programming

Année:

2014

Langue:

english

Fichier:

PDF, 379 KB

english, 2014

6

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Safe functional reactive programming through dependent types

Sculthorpe, Neil, Nilsson, Henrik

Année:

2009

Langue:

english

Fichier:

PDF, 415 KB

english, 2009

7

The HERMIT in the machine

Farmer, Andrew, Gill, Andy, Komp, Ed, Sculthorpe, Neil

Journal:

ACM SIGPLAN Notices

Année:

2013

Langue:

english

Fichier:

PDF, 732 KB

english, 2013

8

[ACM Press the 2012 symposium - Copenhagen, Denmark (2012.09.13-2012.09.13)] Proceedings of the 2012 symposium on Haskell symposium - Haskell '12 - The HERMIT in the machine

Farmer, Andrew, Gill, Andy, Komp, Ed, Sculthorpe, Neil

Année:

2012

Langue:

english

Fichier:

PDF, 732 KB

english, 2012

9

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - The constrained-monad problem

Sculthorpe, Neil, Bracker, Jan, Giorgidze, George, Gill, Andy

Année:

2013

Langue:

english

Fichier:

PDF, 435 KB

english, 2013

10

The constrained-monad problem

Sculthorpe, Neil, Bracker, Jan, Giorgidze, George, Gill, Andy

Journal:

ACM SIGPLAN Notices

Année:

2013

Langue:

english

Fichier:

PDF, 435 KB

english, 2013

11

Safe functional reactive programming through dependent types

Sculthorpe, Neil, Nilsson, Henrik

Journal:

ACM SIGPLAN Notices

Année:

2009

Langue:

english

Fichier:

PDF, 415 KB

english, 2009

12

[ACM Press Companion the 15th International Conference - Málaga, Spain (2016.03.14-2016.03.17)] Companion Proceedings of the 15th International Conference on Modularity - MODULARITY Companion 2016 - Tool support for component-based semantics

Binsbergen, L. Thomas van, Sculthorpe, Neil, Mosses, Peter D.

Année:

2016

Langue:

english

Fichier:

PDF, 596 KB

english, 2016